I objected that the defeasibility theory of knowledge prohibits you from knowing that you know that p if your knowledge that p is a posteriori. Rodrigo Borges claims that Peter Klein has already satisfactorily answered a version of my objection. He attempts to defend Klein’s reply and argues that my objection fails because a principle on which it is based is false.I will show that my objection is not a version of the old one that Klein attempts (unsuccessfully) to address, (...) that Borges’ defence of Klein’s reply fails and that his argument against my new objection leaves it untouched. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

Many prominent ethicists, including Shelly Kagan, John Rawls, and Thomas Scanlon, accept a kind of epistemic modesty thesis concerning our capacity to carry out the project of ethical theorizing. But it is a thesis that has received surprisingly little explicit and focused attention, despite its widespread acceptance. After explaining why the thesis is true, I argue that it has several implications in metaethics, including, especially, implications that should lead us to rethink our understanding of Reductive Realism. In particular, the (...) thesis of epistemic modesty in ethics implies a kind of epistemic modesty about the metaphysical nature of ethics, if Reductive Realism about the metaphysical nature of ethics is true, and it implies that normative concepts are indispensable to practical deliberation in a way that answers an influential objection to Reductive Realism from Jonathan Dancy, David Enoch, William FitzPatrick, and Derek Parfit. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...) of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...) to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

Cosmic Justice Hypotheses. -/- This applied-logic lecture builds on [1] arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication]. Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38]. Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also (...) studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence. Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness”, have been entertained by intelligent thinkers. Absolute CJHs, ACHJs, imply that it is pointless to make sacrifices, make pilgrimages, or ask divine forgiveness: once acts are done, doers must ready themselves for the inevitable payback, since the cosmos works inexorably toward justice. Ceteris Paribus CJHs, CPCJHs, on the other hand, such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness—other things being equal”, leave room for exceptions. For example, some people subscribing to Ceteris Paribus CJHs think that certain bad acts can be performed with impunity as long as certain procedures are carried out previous to, or simultaneous with, or even after the acts. Belief Ceteris Paribus CJHs has been exploited by unscrupulous “spiritual leaders” who claim to have power to grant exceptions. In opposition to belief in CPCJHs are CJHs that hold belief in CPCJHs to be inherently wrong and subject to punishment. Other variants of CJHs are Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their acts”. Still other variants include the Hereditary Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their ancestors’ acts”. [1] JOHN CORCORAN, Inseparability of Logic and Ethics, Free Inquiry, S. 1989, pp. 37–40. [2] ALFRED TARSKI, Introduction to Logic, Dover, 1995. (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

I critically examine the claim that modal collapse arguments against the traditional doctrine of divine simplicity (DDS) are in general fallacious. In a recent paper, Christopher Tomaszewski alleges that modal collapse arguments against DDS are invalid, owing to illicit substitutions of nonrigid singular terms into intensional contexts. I show that this is not, in general, the case. I show, further, that where existing modal collapse arguments are vulnerable to this charge the arguments can be repaired without any apparent dialectical impropriety. (...) I conclude that the genuine debate over modal collapse and divine simplicity and modal collapse is substantially a controversy over the metaphysics of divine action, and that this constitutes a fruitful direction in which to take future discussions of the subject. (shrink)

The consequence argument purports to show that determinism is true only if no one has free will. Judgments about whether the argument is sound depend on how one understands locutions of the form 'p and no one can render p false'. The main interpretation on offer appeals to counterfactual sufficiency: s can render p false just in case there is something s can do such that, were s to do it, p would be false; otherwise, s cannot render p false. (...) Here I show that, in the context of the consequence argument, this interpretation conflicts with widely endorsed principles governing the logic of counterfactuals. (shrink)

In all probability, future generations will outnumber us by thousands or millions to one. In the aggregate, their interests therefore matter enormously, and anything we can do to steer the future of civilization onto a better trajectory is of tremendous moral importance. This is the guiding thought that defines the philosophy of longtermism. Political science tells us that the practices of most governments are at stark odds with longtermism. But the problems of political short-termism are neither necessary nor inevitable. In (...) principle, the state could serve as a powerful tool for positively shaping the long-term future. In this chapter, we make some suggestions about how to align government incentives with the interests of future generations. First, in Section II, we explain the root causes of political short-termism. Then, in Section III, we propose and defend four institutional reforms that we think would be promising ways to increase the time horizons of governments: 1) government research institutions and archivists; 2) posterity impact assessments; 3) futures assemblies; and 4) legislative houses for future generations. Section IV concludes with five additional reforms that are promising but require further research: to fully resolve the problem of political short-termism we must develop a comprehensive research program on effective longtermist political institutions. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

Recent theory suggests that action prediction relies of a motor emulation mechanism that works by mapping observed actions onto the observer action system so that predictions can be generated using that same predictive mechanisms that underlie action control. This suggests that action prediction may be more accurate when there is a more direct mapping between the stimulus and the observer. We tested this hypothesis by comparing prediction accuracy for two stimulus types. A mannequin stimulus which contained information about the effectors (...) used to produce the action and a point stimulus, which contained identical dynamic information but no effector information. Prediction was more accurate for the mannequin stimulus. However, this effect was dependent on the observer having previous experience performing the observed action. This suggests that experienced and na¨ıve observers might generate predictions in qualitatively difference ways, which may relate to the presence of an internal representation of the action laid down through action performance. (shrink)

I offer a novel account of the absurdity of Moore-paradoxical assertion in terms of an interlocutor’s fully conscious beliefs. This account starts with an original argument for the principle that fully conscious belief collects over conjunction. The argument is premised on the synchronic unity of consciousness and the transparency of belief.

Chalmers and Hájek argue that on an epistemic reading of Ramsey’s test for the rational acceptability of conditionals, it is faulty. They claim that applying the test to each of a certain pair of conditionals requires one to think that one is omniscient or infallible, unless one forms irrational Moore-paradoxical beliefs. I show that this claim is false. The epistemic Ramsey test is indeed faulty. Applying it requires that one think of anyone as all-believing and if one is rational, to (...) think of anyone as infallible-if-rational. But this is not because of Moore-paradoxical beliefs. Rather it is because applying the test requires a certain supposition about conscious belief. It is important to understand the nature of this supposition. (shrink)

I give an account of the absurdity of Moorean beliefs of the omissive form(om) p and I don’t believe that p,and the commissive form(com) p and I believe that not-p,from which I extract a definition of Moorean absurdity. I then argue for an account of the absurdity of Moorean assertion. After neutralizing two objections to my whole account, I show that Roy Sorensen’s own account of the absurdity of his ‘iterated cases’(om1) p and I don’t believe that I believe that (...) p,and(com1) p and I believe that I believe that not-p,is unsatisfactory. I explain why it is less absurd to believe or assert (om1) or (com1) than to believe or assert (om) or (com) and show that despite appearances, subsequent iterations of (om1) or (com1) do not decrease the absurdity of believing or asserting them. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart (...) of Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

Neil Sinhababu and I presented Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge. Fred Adams, John Barker and Murray Clarke argue that Backward Clock is no such counterexample. Their argument fails to nullify Backward Clock which also shows that other tracking analyses, such as Dretske’s and one that Adams et al. may well have in mind, are inadequate.

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

Placebo-trials on HIV-infected pregnant women in developing countries like Thailand and Uganda have provoked recent controversy. Such experiments aim to find a treatment that will cut the rate of vertical transmission more efficiently than existing treatments like zidovudine. This scenario is first stated as generally as possible, before three ethical principles found in the Belmont Report, itself a sharpening of the Helsinki Declaration, are stated. These three principles are the Principle of Utility, the Principle of Autonomy and the Principle of (...) Justice. These are taken as voices of moral imperative. But although each has intuitive appeal, it can be shown that there are possible scenarios in which they give conflicting prescriptions. To achieve consistency, one must be subordinate to the others. The voice of utility is taken as subordinate to those of justice and autonomy and it is shown that given plausible assumptions about the level of poverty and education in the developing country targeted, the experiment is ruled morally wrong in the name of both justice and autonomy. Moreover, it is argued that no justification can be found for the inclusion of a placebo group, when strictly defined. By contrast, a ‘no- treatment’ control arm might be justified, but only when the demands of autonomy are satisfied, demands that are more stringent than they might appear. A utilitarian defence of the experiment is examined, namely that the would-be participants are in a no-loss situation, and it is shown that this defence is seriously flawed. Finally, it is concluded that there is no justification for amending the Declaration of Helsinki. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Embedding ethics modules within computer science courses has become a popular response to the growing recognition that CS programs need to better equip their students to navigate the ethical dimensions of computing technologies like AI, machine learning, and big data analytics. However, the popularity of this approach has outpaced the evidence of its positive outcomes. To help close that gap, this empirical study reports positive results from Northeastern’s program that embeds values analysis modules into CS courses. The resulting data suggest (...) that such modules have a positive effect on students’ moral attitudes and that students leave the modules believing they are more prepared to navigate the ethical dimensions they’ll likely face in their eventual careers. Importantly, these gains were accomplished at an institution without a philosophy doctoral program, suggesting this strategy can be effectively employed by a wider range of institutions than many have thought. (shrink)

Do spatial features appear the same whether they are perceived through vision or touch? This question is at stake in the puzzle that William Molyneux posed to John Locke, concerning whether a man born blind whose sight was restored would be able immediately to identify the shapes of the things he saw. A recent study purports to answer the question negatively, but I argue here that the subjects of the study likely could not see well enough for the result (...) to have been meaningful. I then propose a way to improve the study, by including cues from object motion. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

William James wrote that the life of religion “consists of the belief that there is an unseen order, and that our supreme good lies in harmoniously adjusting ourselves thereto.” Naturalism organizes our experiences of the universe within a science-grounded philosophical and/or religious framework aligning it with what is supremely good for our lives. This article describes a science-grounded specific “Framework of Spirituality” identifying part of this unseen order that opens a “spiritual core” within persons as a source of healing and (...) happiness. A cognitive behavioral therapy (CBT) expanded process shows how experiences of human worth and dignity are keys to this new awareness and provides speculation for a brain function and evolutionary explanation. Details of this knowledge are related to various perspectives and authors of naturalism—scientific, religious, ecstatic, and ecological—to contribute to a future direction for the understanding, development, and further expression of naturalism. (shrink)

There is a common view that the utilitarian theory of John Stuart Mill is morally realist and involves a strong kind of practical obligation. This article argues for two negative theses and a positive thesis. The negative theses are that Mill is not a moral realist and that he does not believe in certain kinds of obligations, those involving external reasons and those I callrobustobligations, obligations with a particular, strong kind of practical authority. The positive thesis is that Mill's (...) metaethical position can be interpreted as a Humean constructivist view, a metaethical view that is constructivist about value and entails the existence of practical reasons, but not external reasons or robust obligations. I argue that a Humean constructivist reading of Mill's theory is reasonable, and strengthens Mill's argument from desire for the value of happiness, an important but notoriously weak aspect of his theory. (shrink)

Claims about what justice “requires” and the “requirements” of justice are pervasive in political philosophy. However, there is a highly significant ambiguity in such claims that appears to have gone unnoticed. Such claims may pick out either one of two categorically distinct and noncoextensive kinds of requirement that we call 1) requirements-as-necessary-conditions for justice and 2) requirements-as-demands of justice. This is an especially compelling instance of an ambiguity that John Broome has famously observed in the context of claims about (...) other requirements (notably the requirements of rationality and morality). But it appears to have been overlooked by political philosophers in the case of claims about the requirements of justice. The ambiguity is highly significant inasmuch as failing to notice it is liable to distort our normative thinking about politics and make us vulnerable to certain kinds of normatively consequential errors: both mistakenly drawing inferences about what justice demands of us from claims that certain states or societies are not just; and mistakenly drawing inferences about what states or societies are or would be just from claims that justice does not demand of states or societies that they do certain things. Paying greater attention to the distinction between these two different kinds of requirements and the ways in which they come apart is helpful, not merely in avoiding these distortions and errors, but also in resolving, or at least clarifying, a number of other notoriously murky meta-normative debates, especially various important debates about realism and idealism in political philosophy. (shrink)

William Simkulet has recently criticised Colgrove et al ’s defence against what they have called inconsistency arguments—arguments that claim opponents of abortion act in ways inconsistent with their underlying beliefs about human fetuses. Colgrove et al presented three objections to inconsistency arguments, which Simkulet argues are unconvincing. Further, he maintains that OAs who hold that the fetus is a person at conception fail to act on important issues such as the plight of frozen embryos, poverty and spontaneous abortion. Thus, they (...) are morally negligent. In response, we argue that Simkulet has targeted a very narrow group of OAs, and so his criticisms are inapplicable to most OAs. We then explain why his responses to each of Colgrove et al’s objections do not succeed, even for this restricted group. Finally, we note that Simkulet fails to provide evidence for his claims regarding OAs’ supposed failures to act, and we show that OAs veritably do invest resources into these important issues. We conclude that Colgrove et al ’s reasons for rejecting inconsistency arguments remain intact. (shrink)

In this paper, I clarify and defend a provocative hypothesis offered by Bernard Williams, namely, that modern people are much more likely to speak in terms of master-concepts like “good” or “right,” and correspondingly less likely to think and speak in the pluralistic terms favored by certain Ancient societies. By conducting a close reading of the Platonic dialogues Charmides and Laches, I show that the figure of Socrates plays a key historical role in this conceptual shift. Once we understand (...) that our narrow, reductionist focus on “thin” ethical concepts is a contingent historical development, we are, I claim, in a much better position to evaluate it. (shrink)

This is a brief reference article on William Wollaston's moral theory, including some influential objections to it.

Pragmatic Genealogy involves constructing fictional, quasi-historical models in order to discover what might explain and justify our concepts, ideas or practices. It arguably originated with Hume, but its most prominent practitioners are Edward Craig, Bernard Williams and Mathieu Queloz. Its defenders allege that the method allows us to understand “what the concept does for us, what its role in our life might be” (Craig, 1990), and that this in turn can ground practical reasons to preserve or further a conceptual (...) practice. In this paper, I argue that none of this is true, and that only a turn to the actual recent history of such practices can reveal those sorts of practical reasons. (shrink)

How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of (...) the concept of normativity can help us to develop strategies to deal with norms themselves. 2nd-order normativity, or norms about norms, is a hierarchical way to think about how to combine many different normative structures and preferences into a single coherent decision. That is what metanormativity is all about, a way to answer: what should we do when we don’t know what to do? In this study, we will review a decision-making strategy dealing with moral uncertainty, Maximization of Expected Choice-Worthiness. This strategy, proposed by William MacAskill, allows for the aggregation and inter-theoretical comparison of different normative structures, cardinal theories, and ordinal theories. In this study, we will exemplify the metanormative methods proposed by MacAskill, using has an example, a series of vegetarian dilemmas. Given the similarity to this metanormative strategy to expected utility theory, we will also show that it is possible to integrate both models to address decision-making problems in situations of empirical and moral uncertainty. We believe that this kind of ethical-mathematical formalism can be useful to help develop strategies to better aggregate moral preferences and solve conflicts. (shrink)

I reply to critical discussion of my work by Copthorne Macdonald, Steve Fuller, John Stewart, Joseph Agassi, Margaret Boden, Donald Gillies, Mathew Iredale, David Hodgson, Karl Rogers, and Leemon McHenry.

A prevalent assumption is that normativity is a unity. In this paper I argue against this assumption by demonstrating the problems it poses to a well known answer to a well known problem for taking rationality to be normative. John Broome's normative requirement relation does indeed avoid that problem, but insofar as the relation is supposed to offer a general characterisation of the normativity of rationality, it fails. It fails because it cannot capture an important aspect of the normativity (...) of rationality, that it is available to guide us. I show that if we distinguish two kinds of normativity it need not fail in this way. (shrink)

How does it happen that our beliefs about what we ought to do cause us to intend to do what we believe we ought to do? This is what John Broome calls the "motivation question." Broome’s answer to the motivation question is that we can bring ourselves, by our own efforts, to intend to do what we believe we ought to do by exercising a special agential capacity: the capacity to engage in what he calls enkratic reasoning. My aim (...) is to evaluate this answer. In doing so, I shall focus on three core aspects of Broome’s overall account: his account of ought, his account of enkratic rationality, and his account of enkratic reasoning in particular. In each case I suggest there are problems. (shrink)

Four decades ago, Bernard Williams accused Kantian moral theory of providing agents with ‘one thought too many’. The general consensus among contemporary Kantians is that this objection has been decisively answered. In this paper, I reconstruct the problem, showing that Williams was not principally concerned with how agents are to think in emergency situations, but rather with how moral theories are to be integrated into recognizably human lives. I show that various Kantian responses to Williams provide inadequate (...) materials for solving this ‘integration problem’, and that they are correspondingly ill-positioned to account for the authority of morality, as Williams suspected all along. (shrink)

Rationality appears to have some intimate relation with normativity: exactly what relation is in dispute. John Broome devotes a chapter of his recent book to rebutting the view that rationality has 'true' normativity, which he equates with the kind of normativity that I call directivity. In particular, he offers a number of arguments against derivative accounts of thenormativity of rationality. In this paper I defend my instrumentalist account from those arguments. In so doing I bring into view the grounds (...) of a live positive defence of rationality’s servanthood to directivity. (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: (...) Everything makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

What is the relation between meaning and use? This chapter first defends a non-reductionist understanding of Wittgenstein’s suggestion that ‘the meaning of a word is its use in the language’; facts about meaning cannot be reduced to, or explained in terms of, facts about use, characterized non-semantically. Nonetheless, it is contended, facts about meaning do supervene on non-semantic facts about use. That supervenience thesis is suggested by comments of Wittgenstein’s and is consistent with his view of meaning and rule-following. Semantic (...) supervenience is then defended against two criticisms: first, John McDowell’s suggestion that the supervenience thesis falsifies the epistemology of meaning and fails to accommodate common-sense truths about meaning; second, a series of counter-examples proposed by Stephen Kearns and Ofra Magidor, who argue that worlds may differ semantically without differing non-semantically. It is argued that neither criticism is convincing: we should accept the thesis that semantic facts supervene on non-semantic facts. (shrink)

The question "Why should I be moral?," taken as a request for reasons to be moral, strikes many philosophers as silly, confused, or otherwise out of line. Hence we find many attempts to dismiss it as spurious. This paper addresses four such attempts and shows that they fail. It does so partly by discussing various errors about reasons for action, errors that lie at the root of the view that "Why should I be moral?" is ill-conceived. Such errors include the (...) mistake of confusing different uses of "moral reason for A to ø" and the mistake of treating as axiomatic, as in need of no argument, the view that moral considerations furnish every agent with practical reasons. Among the philosophers discussed are John Hospers, Philippa Foot, Stephen Toulmin, H. A. Prichard, and William Frankena. (shrink)

Science has been under attack ever since William Blake and Romantic movement. In our time, criticisms of modern science have led to Alan Sokal's spoof, and the so-called science wars. Both sides missed the point. Science deserves to be criticized for seriously misrepresenting its highly problematic aims, which have metaphysical, value and political assumptions associated with them. Instead of repressing these problematic aims, science ought rather to make them explicit, so that they can be critically assessed and, we may hope, (...) improved. (shrink)

A critical study of John Searle's Minds, Brains and Science (Cambridge, MA: Harvard University Press, 1984).

How can what is of value associated with our human world exist and best flourish embedded as it is in the physical universe? Or, as we may put it, how can the God-of-Cosmic-Value exist and best flourish embedded as it is in the God-of-Cosmic-Power? This, I argue, is our fundamental problem – fundamental in both intellectual and practical terms. Here, I tackle the practical aspect of the problem. I consider briefly five global problems – climate change, war, population growth, world (...) poverty, habitat destruction and extinction of species – and argue that, in order to solve them it is essential to bring about a revolution in universities round the world so that the basic aim becomes wisdom and not just knowledge. I conclude by indicating recent developments which suggest the revolution may already be underway. (shrink)